#include <stdint.h>
#include"uart.h"


void uart_putchar(char c) {
    // 等待 UART ready
    while ((*(volatile uint8_t *)(UART0 + UART_LSR) & UART_LSR_EMPTY_MASK) == 0);
    *(volatile uint8_t *)(UART0 + UART_TXDATA) = c;
}
